智能指针详解 (unique_ptr, shared_ptr, weak_ptr)

引言

在C++编程中，动态内存管理是一个重要且复杂的主题。手动管理内存（使用new和delete）容易导致内存泄漏、悬空指针等问题。为了简化内存管理并减少错误，C++11引入了智能指针（Smart Pointers）。智能指针是C++标准库提供的一种工具，能够自动管理动态分配的内存，确保资源在不再需要时被正确释放。

本教程将详细介绍三种常用的智能指针：unique_ptr、shared_ptr和weak_ptr。我们将从理论解释开始，然后通过代码示例和实践练习帮助你更好地理解和应用这些智能指针。

1. unique_ptr

1.1 理论解释

unique_ptr是一种独占所有权的智能指针。它确保同一时刻只有一个unique_ptr指向某个对象，当unique_ptr被销毁时，它所指向的对象也会被自动删除。unique_ptr不能被复制，但可以通过移动语义（move semantics）转移所有权。

1.2 代码示例

#include <iostream>
#include <memory>

int main() {
    // 创建一个unique_ptr，指向一个动态分配的int
    std::unique_ptr<int> ptr(new int(42));

    // 访问指针指向的值
    std::cout << "Value: " << *ptr << std::endl;

    // 转移所有权
    std::unique_ptr<int> ptr2 = std::move(ptr);

    // ptr现在为空
    if (!ptr) {
        std::cout << "ptr is now empty." << std::endl;
    }

    // 使用ptr2访问值
    std::cout << "Value: " << *ptr2 << std::endl;

    return 0;
}

1.3 实践练习

1. 创建一个unique_ptr，指向一个动态分配的std::string对象。
2. 尝试将unique_ptr复制给另一个unique_ptr，观察编译错误。
3. 使用移动语义将unique_ptr的所有权转移给另一个unique_ptr。

2. shared_ptr

2.1 理论解释

shared_ptr是一种共享所有权的智能指针。多个shared_ptr可以指向同一个对象，并且通过引用计数（reference counting）来管理对象的生命周期。当最后一个shared_ptr被销毁时，它所指向的对象才会被删除。

2.2 代码示例

#include <iostream>
#include <memory>

int main() {
    // 创建一个shared_ptr，指向一个动态分配的int
    std::shared_ptr<int> ptr1(new int(42));

    // 创建另一个shared_ptr，共享同一个对象
    std::shared_ptr<int> ptr2 = ptr1;

    // 访问指针指向的值
    std::cout << "Value: " << *ptr1 << std::endl;
    std::cout << "Value: " << *ptr2 << std::endl;

    // 输出引用计数
    std::cout << "Reference count: " << ptr1.use_count() << std::endl;

    return 0;
}

2.3 实践练习

1. 创建一个shared_ptr，指向一个动态分配的std::vector<int>对象。
2. 创建多个shared_ptr，共享同一个对象，并输出引用计数。
3. 尝试在不同的作用域中创建和销毁shared_ptr，观察引用计数的变化。

3. weak_ptr

3.1 理论解释

weak_ptr是一种弱引用的智能指针。它不控制所指向对象的生命周期，而是通过与shared_ptr配合使用，避免循环引用（circular references）导致的内存泄漏。weak_ptr可以观察对象，但在访问对象之前需要检查对象是否仍然存在。

3.2 代码示例

#include <iostream>
#include <memory>

int main() {
    // 创建一个shared_ptr，指向一个动态分配的int
    std::shared_ptr<int> sharedPtr(new int(42));

    // 创建一个weak_ptr，观察同一个对象
    std::weak_ptr<int> weakPtr = sharedPtr;

    // 检查对象是否仍然存在
    if (std::shared_ptr<int> tempPtr = weakPtr.lock()) {
        std::cout << "Value: " << *tempPtr << std::endl;
    } else {
        std::cout << "Object has been deleted." << std::endl;
    }

    // 销毁shared_ptr
    sharedPtr.reset();

    // 再次检查对象是否仍然存在
    if (std::shared_ptr<int> tempPtr = weakPtr.lock()) {
        std::cout << "Value: " << *tempPtr << std::endl;
    } else {
        std::cout << "Object has been deleted." << std::endl;
    }

    return 0;
}

3.3 实践练习

1. 创建一个shared_ptr，指向一个动态分配的std::string对象。
2. 创建一个weak_ptr，观察同一个对象。
3. 在不同的作用域中创建和销毁shared_ptr，观察weak_ptr的状态变化。

4. 总结

智能指针是C++中管理动态内存的重要工具，能够有效避免内存泄漏和悬空指针等问题。unique_ptr适用于独占所有权的场景，shared_ptr适用于共享所有权的场景，而weak_ptr则用于避免循环引用。通过合理使用这些智能指针，可以显著提高代码的安全性和可维护性。

5. 进一步学习

• 深入了解C++11/14/17/20中的新特性，如移动语义、右值引用、auto和decltype。
• 学习如何使用C++标准库中的容器、算法和输入输出流。
• 探索C++中的多线程支持和并发编程。
• 了解常用的设计模式和SOLID原则，提升代码的设计质量。

通过不断实践和学习，你将能够更好地掌握C++编程，编写出高效、安全和可维护的代码。